Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
71	A New Enhanced Constructive Decomposition and Mapping Algorithm Alan Mishchenko Xinning Wang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-03-28 23:46:48 Mathematics Binary decision diagram Model checking Computer programming Decomposition Lookup table Decomposition method Boolean algebra Computing Diagrams
72	LUTMIN: FPGA Logic Synthesis with MUX-Based and Cascade Realizations Tsutomu Sasao 1 and Alan Mishchenko[removed]Dept. of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka[removed], Japan Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-09 02:20:06 Boolean algebra Diagrams Field-programmable gate array Binary decision diagram Lookup table Xilinx Multiplexer Artificial neuron Function Computing Mathematics Electronic engineering
73	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-11-23 21:54:00 Computing Diagrams Binary decision diagram Model checking Electronic design automation Lookup table Boolean function Field-programmable gate array Canonical form Mathematics Boolean algebra Electronic engineering
74	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
75	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
76	Microsoft Word - iwls07-final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:44:52 Boolean algebra Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Binary decision diagram Functional dependency Conjunctive normal form Theoretical computer science Mathematics Mathematical logic
77	Encoding of Boolean Functions and Its Application to LUT Cascade Synthesis Alan Mishchenko Department of ECE Portland State University Portland, OR 97207, USA [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-15 21:59:58 Boolean algebra Character encoding Binary decision diagram Diagrams Model checking Canonical form Lookup table String Code Computing Computer programming Software engineering
78	Minimization of Average Path Length in BDDs by Variable Reordering Shinobu NAGAYAMA1 Alan MISHCHENKO2 Tsutomu SASAO1,3 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-24 12:04:31 APL programming language family Array programming languages Computer programming Diagrams Binary decision diagram Model checking APL K Reed-Muller expansion Boolean algebra Computing Software engineering
79	Microsoft Word - ASPDAC Support Reduciing final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-01-30 12:29:36 Diagrams Binary decision diagram Model checking Symmetry in mathematics Function Heuristic Emmy Noether Group Symmetry Mathematics Boolean algebra
80	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering

UPDATE